Merge pull request #1236 from dbasehore/gic-save-restore
authordavidcunado-arm <david.cunado@arm.com>
Thu, 1 Feb 2018 08:58:23 +0000 (08:58 +0000)
committerGitHub <noreply@github.com>
Thu, 1 Feb 2018 08:58:23 +0000 (08:58 +0000)
RK3399 GIC save/restore

1  2 
plat/rockchip/rk3399/platform.mk

Simple merge